theory of inference in discrete mathematics